1. Computer semantics; studies of algorithms, processors, and languages
Author: Lee, John A. N.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Algorithms,، Programming languages )Electronic computers(-- Semantics
Classification :
QA
76
.
6
.
L38
2. Fairness
Author: Francez, Nissim.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
Classification :
QA
76
.
6
.
F7226
1986
3. Fairness
Author: / Nissim Francez
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Programming languages (Electronic computers) -- Semantics,Parallel processing (Electronic computers)
Classification :
QA
76
.
6
.
F7226
1986
4. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
Author: edited by Austin Melton
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
239
5. Ordinateurs, Programmation , et langues naturelles
Author: / Par Jacques Andr`e et Catherine Fuchs,Andre
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming,Programming languages ( Electronic computers) --Semantics
Classification :
QA
76
.
6
.
A5
6. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003
Author: sponsored by the Association for Computing Machinery Special Interest Group on Programming Language )ACM SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
P45
2003
7. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
Author: / sponsored by the ACM Special Interest Group SIGPLAN in cooperation with IFIP
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses
Classification :
QA
76
.
7
.
S97
1991
8. Semantics of sequential and parallel programs, Semantik. English
Author: Best, Eike
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Electronic digital computers-- Programming
Classification :
QA
76
.
6
.
B4765
1996
